Programming language semantics

Results: 372



#Item
261Java platform / Programming language / Thread / Charles E. Leiserson / C / Java / Semantics / Intel Cilk Plus / Computing / Cross-platform software / Cilk

The JCilk Multithreaded Language by I-Ting Angelina Lee Submitted to the Department of Electrical Engineering and Computer Science

Add to Reading List

Source URL: supertech.csail.mit.edu

Language: English - Date: 2014-09-16 08:27:49
262Python / Programming language / Control flow / Interpreted language / ALGOL 68 / Source code / One-liner program / Python syntax and semantics / Software engineering / Computing / Computer programming

Computer-based Content Analysis ¨ Johannes Knopp, Cacilia Zirn Knowledge Representation and Knowledge Management Research Group School of Business Informatics and Mathematics

Add to Reading List

Source URL: dws.informatik.uni-mannheim.de

Language: English - Date: 2014-09-29 11:41:52
263Programming language semantics / Logic in computer science / Model theory / Denotational semantics / Formal methods / Structure / Semantics / Predicate transformer semantics / Programming language / Theoretical computer science / Mathematics / Applied mathematics

A Certifiable Formal Semantics of C Maksym Bortin 1 Christoph L¨

Add to Reading List

Source URL: www.informatik.uni-bremen.de

Language: English - Date: 2009-06-03 10:20:35
264Procedural programming languages / Cross-platform software / C / Object-oriented programming / Generator / Dynamic-link library / Printf format string / Timer / Python syntax and semantics / Computing / Software engineering / Computer programming

Writing a Custom Add-On Code Generator for Polled State Machine Applications Previous topics in this column dealt with low-level applications, accompanied by assembly language code. This month we deviate from this trend

Add to Reading List

Source URL: www.rigelcorp.com

Language: English - Date: 2006-07-13 13:59:48
265Object-oriented programming / Linguistics / Philosophy of language / Semantics / Symbol grounding / Symbolism / Object-oriented design / Database schema / Human–robot interaction / Child development / Cognitive science / Science

Object Schemas for Responsive Robotic Language Use Kai-yuh Hsiao Soroush Vosoughi Stefanie Tellex

Add to Reading List

Source URL: www.media.mit.edu

Language: English - Date: 2008-02-29 13:45:43
266C++ / Object-oriented programming / Data types / Type theory / Functional programming / Immutable object / Value / C++ classes / Concepts / Software engineering / Computing / Computer programming

Copy and Move Semantics in the D Programming Language Ali Çehreli DConf 2013

Add to Reading List

Source URL: dconf.org

Language: English - Date: 2014-03-03 16:24:29
267Scripting languages / Python / Lisp programming language / Read–eval–print loop / Eval / D / Python syntax and semantics / Software engineering / Computing / Computer programming

Introduction to Python 1 Chang Y. Chung Office of Population Research[removed]

Add to Reading List

Source URL: opr.princeton.edu

Language: English - Date: 2014-01-16 13:00:46
268Procedural programming languages / Cross-platform software / C / Object-oriented programming / Generator / Dynamic-link library / Printf format string / Timer / Python syntax and semantics / Computing / Software engineering / Computer programming

Writing a Custom Add-On Code Generator for Polled State Machine Applications Previous topics in this column dealt with low-level applications, accompanied by assembly language code. This month we deviate from this trend

Add to Reading List

Source URL: www.rigelcorp.com

Language: English - Date: 2007-10-13 15:17:25
269Ada / Programming language / Tripos / Semantics of programming languages / Functional programming / Viable prefix / Computing / Software engineering / Computer programming

UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY Computer Science Tripos Parts IA, IB, and II Summary List of Books Recommended by Lecturers September 2014 This list is prepared once a year for the benefit of College Libraria

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-09-19 05:27:29
270Applied mathematics / Mathematics / Denotational semantics / Semantics of programming languages / Operational semantics / Axiomatic semantics / Semantics / Type safety / Programming language / Theoretical computer science / Logic in computer science / Programming language semantics

Technical Report UCAM-CL-TR-453 ISSN[removed]Number 453

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2002-02-04 10:59:46
UPDATE